Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types
arxiv.org·2d
Dealing with alternatives
jemarch.net·1d
Datomic - Datomic at Clojure/Conj 2025
blog.datomic.com·21h
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·8h
Randomization in Typst
idraluna-archives.bearblog.dev·1h
Subterms Modulo Theories I
philipzucker.com·2d
Chromosome-level genome assembly of narrow-leaf bur-reed ( Sparganium angustifolium Michx., Typhaceae)
nature.com·4h
Gödel’s Theorems (and logicisms) revisited
logicmatters.net·2d
ClickPy at 2 Trillion rows: Scaling ingestion and fixing the past
clickhouse.com·9h
Loading...Loading more...